A. Das, I. van der Giessen, S. Marin; 2023; "Towards Intuitionistic Gödel-Löb Logic (with a capital 'I')"
Memo
Anupam Das
，
Iris van der Giessen
，
Sonia Marin
The Proof Society Summer School and Workshop 2023
https://www.ub.edu/prooftheory/event/tps2023/Booklet_of_abstracts_TPSW23.pdf
これのpp51より
直観主義様相論理の慣習的な扱いの違いについて
2023.11.11#654f207113a1580000c1914b
詳しくはここに書いたが，
直観主義様相論理
にもいくつかの
$ \Box,\Diamond
の扱い方によっていくつかのヴァリエーション
$ \sf i\Lambda, C\Lambda, I\Lambda
があって，慣習的に言い方や表記も異なっている．と記されている．